منابع مشابه
Every crowded pseudocompact ccc space is resolvable
We prove that every pseudocompact crowed ccc space is c-resolvable. This gives a partial answer to problems posed by Comfort and Garćıa-Ferriera, and Juhász, Soukup and Szentmiklóssy.
متن کاملCCC v4n3
Submitted: Apr 9, 2004; Revised: Jul 19, 2004; Accepted: Jul 19, 2004 Address for correspondence: Robert Diasio, MD, University of Alabama at Birmingham, Department of Pharmacology and Toxicology and UAB Comprehensive Cancer Center, 1824 6th Ave S, Wallace Tumor Institute, Room 620, University of Alabama at Birmingham, Birmingham, AL 35294-3300 Fax: 205-975-5650; e-mail: [email protected]...
متن کاملCCC - The Casl Consistency Checker
We introduce the Casl Consistency Checker (CCC), a tool that supports consistency proofs in the algebraic specification language Casl. CCC is a faithful implementation of a previously described consistency calculus. Its system architecture combines flexibility with correctness ensured by encapsulation in a type system. CCC offers tactics, tactical combinators, forward and backward proof, and a ...
متن کاملIdeals without CCC
Let I be an ideal of subsets of a Polish space X, containing all singletons and possessing a Borel basis. Assuming that I does not satisfy ccc, we consider the following conditions (B), (M) and (D). Condition (B) states that there is a disjoint family F ⊆ P (X) of size c, consisting of Borel sets which are not in I . Condition (M) states that there is a Borel function f : X → X with f[{x}] / ∈ ...
متن کاملComplete Ccc Boolean Algebras
Let B be a complete ccc Boolean algebra and let τs be the topology on B induced by the algebraic convergence of sequences in B. 1. Either there exists a Maharam submeasure on B or every nonempty open set in (B, τs) is topologically dense. 2. It is consistent that every weakly distributive complete ccc Boolean algebra carries a strictly positive Maharam submeasure. 3. The topological space (B, τ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Publicacions Matemàtiques
سال: 1989
ISSN: 0214-1493
DOI: 10.5565/publmat_33289_01